antecedent theorem

英 [ˌæntɪˈsiːdnt ˈθɪərəm]

美 [ˌæntɪˈsiːdnt ˈθiːərəm]

网络前提定理

双语例句

Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。

点击展开全文

考试分类

行业分类

柯林斯词典词频分级词汇

其他分类